Truebit: Scalable Computation - Christian Reitwiessner